Derivation of test objectives automatically
نویسندگان
چکیده
A vital task of software development is to test the correct implementation of functional requirements. Use cases are widely used artefacts that define the functionality of a software system in early stages of the development process. This paper exposes the lack of automatism in existing approaches that deal with the derivation of test cases, and introduces a new approach and tool to derive systematically test objectives from the use cases of the system under test.
منابع مشابه
Local higher derivations on C*-algebras are higher derivations
Let $mathfrak{A}$ be a Banach algebra. We say that a sequence ${D_n}_{n=0}^infty$ of continuous operators form $mathfrak{A}$ into $mathfrak{A}$ is a textit{local higher derivation} if to each $ainmathfrak{A}$ there corresponds a continuous higher derivation ${d_{a,n}}_{n=0}^infty$ such that $D_n(a)=d_{a,n}(a)$ for each non-negative integer $n$. We show that if $mathfrak{A}$ is a $C^*$-algebra t...
متن کاملAutomating Formal Speciication-based Testing to Appear: Tapsoft '97
This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speci cations containing universal and existential quanti cation. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals with quanti cation it can be applied to m...
متن کاملAutomatic Test Generation for the Analysis of a Real-Time System: Case Study
We present a framework for testing timing constraints of real-time systems. Our tests are automatically derived from speciications of minimum and maximum allowable delays between input/output events in the execution of a system. Our test derivation scheme uses a graphical speciication formalism for timing constraints, and the real-time process algebra Algebra of Communicating Shared Resources (...
متن کاملOn Jordan left derivations and generalized Jordan left derivations of matrix rings
Abstract. Let R be a 2-torsion free ring with identity. In this paper, first we prove that any Jordan left derivation (hence, any left derivation) on the full matrix ringMn(R) (n 2) is identically zero, and any generalized left derivation on this ring is a right centralizer. Next, we show that if R is also a prime ring and n 1, then any Jordan left derivation on the ring Tn(R) of all n×n uppe...
متن کاملJordan derivation on trivial extension
Let A be a unital R-algebra and M be a unital A-bimodule. It is shown that every Jordan derivation of the trivial extension of A by M, under some conditions, is the sum of a derivation and an antiderivation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006